1. April 3, 2011. Pع۰بcken, Germany, March 26Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr
پدیدآورنده : / Gerard J. Holzmann (auth.), Parosh Aziz Abdulla, K. Rustan M. Leino (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
2. Design and validation of computer protocols
پدیدآورنده : Holzmann, Gerard J.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Design ، Computer network protocols
رده :
TK
5105
.
5
.
H65D4
3. Design and validation of computer protocols /
پدیدآورنده : Gerard J. Holzmann
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network protocols-- Design,Protocoles de réseaux d'ordinateurs
رده :
TK5105
.
5
.
H645
1991
4. Design and validation of computer protocols
پدیدآورنده : Holzmann, Gerard J.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Computer network protocols Design
رده :
TK
5105
.
5
.
H645
1991
5. Design and validation of computer protocols
پدیدآورنده : / Gerard J. Holzmann.,هالزمن,Holzmann
موضوع : پروتکلهای شبکه کامپیوتری -- طراحی,Computer network protocols -- Design.
۷ نسخه از این کتاب در ۷ کتابخانه موجود است.
6. Design and validation of computer protocols
پدیدآورنده : / Gerard J. Holzmann
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer engineering
رده :
TK7885
.
H7
1991
7. Design and validation of computer protocols
پدیدآورنده : Holzmann, Gerard J.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Computer network protocols- Design
رده :
TK
5105
.
5
.
H64
8. NASA Formal Methods
پدیدآورنده : / Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
9. 9, 2010. Proceedings-Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7
پدیدآورنده : / Gerard J. Holzmann (auth.), John Hatcliff, Elena Zucca (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
10. 20, 2011. Proceedings-NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18
پدیدآورنده : / K. Rustan M. Leino (auth.), Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
11. فراسوی عکاسی: پردازش تصاویر با کامپیوتر و تاریکخانه رقمی
پدیدآورنده : هالزمن، جرارد Holzmann, Gerard J.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : عکسبرداری -- روشهای رقمی,عکاسی -- تاثیرهای خاص
رده :
TA
۱۶۳۲
/
ه
۲
ف
۴